Resource Type

Journal Article 296

Conference Videos 8

Year

2024 1

2023 37

2022 50

2021 30

2020 27

2019 20

2018 14

2017 16

2016 11

2015 12

2014 4

2013 9

2012 3

2011 8

2010 7

2009 6

2008 7

2007 6

2006 4

2005 5

open ︾

Keywords

Machine learning 50

machine learning 24

Artificial intelligence 8

artificial neural network 6

Deep learning 5

artificial intelligence 5

Support vector machine 4

Bayesian optimization 3

Big data 3

Around corners 2

Collaborative filtering 2

Design 2

Materials design 2

Soft sensors 2

Support vector machine (SVM) 2

Three Gorges Project 2

construction 2

deep learning 2

machine tool 2

open ︾

Search scope:

排序： Display mode:

Man-machine verification of mouse trajectory based on the random forestmodel Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 7,   Pages 925-929 doi: 10.1631/FITEE.1700442

Abstract:

Identifying code has been widely used in man-machine verification to maintain network security.The challenge in engaging man-machine verification involves the correct classification of man and machineIn this study, we propose a random forest (RF) model for man-machine verification based on the mouseWe also compare the RF model with the baseline models (logistic regression and support vector machine

Keywords： Man-machine verification     Random forest     Support vector machine     Logistic regression     Performance metrics    

HTML PDF Collect

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 2,   Pages 85-97 doi: 10.1631/FITEE.1400111

Abstract: In this way, verification/validation methods can guarantee different requirements stated by the actualmodel transformation verified/validated, discusses the different scenarios of model transformation verificationFurthermore, we collect and discuss the actual open issues in the field of verification/validation of

Keywords： Graph rewriting based model transformations     Verification/validation     Test-driven verification    

HTML PDF Collect

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Engineering doi: 10.1016/j.eng.2023.04.016

Abstract: Using formal or digital methods, natural language traffic rules can be translated into machine languageIn response, we propose a method of formal verification that combines equivalence verification with modeldigital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification

Keywords： Autonomous driving     Traffic rules     Digitization     Formalization     Verification    

HTML PDF Collect

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Frontiers in Energy 2021, Volume 15, Issue 2,   Pages 529-538 doi: 10.1007/s11708-019-0624-0

Abstract: power station auxiliaries, and transmission and distribution installations are given together with verificationThe verification results for operation availability data show that the maintenance coefficients for electric

Keywords： repairable system     power equipment     electric generating unit     power station auxiliary     transmission and distribution installation     reliability     availability     availability growth model    

HTML PDF Collect

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Frontiers of Structural and Civil Engineering 2007, Volume 1, Issue 2,   Pages 163-169 doi: 10.1007/s11709-007-0017-z

Abstract: Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

Keywords： hysteretic     confining mechanism     Concrete-filled     in-filled     composite    

HTML PDF Collect

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Frontiers in Energy 2012, Volume 6, Issue 4,   Pages 413-419 doi: 10.1007/s11708-012-0212-z

Abstract: The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

Keywords： lignocellulose     dilute acid hydrolysis     shrinking core model    

HTML PDF Collect

Harmony Between Man and Nature Is the Need for Social Progress

Yuan Fei,Zhang Yuedong,Li Xiping

Strategic Study of CAE 2004, Volume 6, Issue 11,   Pages 80-83

Abstract: However, the contradiction between man and nature becomes increasingly acute.Based on the analysis of the relationship between man and nature, the paper states that for realizingthe harmony between man and nature and promoting social progress it is necessary to raise the scientific

Keywords： man and nature     harmony     values     social progress    

HTML PDF Collect

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

Frontiers of Chemical Science and Engineering 2010, Volume 4, Issue 4,   Pages 523-528 doi: 10.1007/s11705-010-0520-y

Abstract: Selective catalytic reduction (SCR) is a major commercial technology for NO removal in power plants. There are a lot of complex chemical reactions in SCR reactors, and it is of great significance to understand the internal process of chemical reactions for SCR DeNO and study the impact of various factors on NO removal efficiency. In this paper, the impact of reaction temperature, ammonia-nitrogen molar ratio and resident time in the catalyst bed layer on NO removal efficiency were studied by simulation of chemical reactions. Then calculated results were compared with catalyst activity test data in a power plant, which proved that the simulated results were accurate. As a result, the reaction conditions were optimized in order to get the best removal efficiency of NO, so that we can provide a reference for optimal running of SCR in power plants.

Keywords： SCR     NOx     removal efficiency     chemical reactions     simulation    

HTML PDF Collect

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

Frontiers of Mechanical Engineering 2021, Volume 16, Issue 4,   Pages 747-764 doi: 10.1007/s11465-021-0644-4

Abstract: Transfemoral amputees (TAs) have difficulty in mobility during walking, such as restricted movement of lower extremity and body instability, yet few transfemoral prostheses have explored human-like multiple motion characteristics by simple structures to fit the kinesiology, biomechanics, and stability of human lower extremity. In this work, the configurations of transfemoral prosthetic mechanism are synthesized in terms of human lower-extremity kinesiology. A hybrid transfemoral prosthetic (HTP) mechanism with multigait functions is proposed to recover the gait functions of TAs. The kinematic and mechanical performances of the designed parallel mechanism are analyzed to verify their feasibility in transfemoral prosthetic mechanism. Inspired by motion–energy coupling relationship of the knee, a wearable energy-damper clutched device that can provide energy in knee stance flexion to facilitate the leg off from the ground and can impede the leg’s swing velocity for the next stance phase is proposed. Its co-operation with the springs in the prismatic pairs enables the prosthetic mechanism to have the energy recycling ability under the gait rhythm of the knee joint. Results demonstrate that the designed HTP mechanism can replace the motion functions of the knee and ankle to realize its multimode gait and effectively decrease the peak power of actuators from 94.74 to 137.05 W while maintaining a good mechanical adaptive stability.

Keywords： hybrid transfemoral prosthetic mechanism     energy recycling     wearable mechanical clutched device     mechanical adaptive stability    

HTML PDF Collect

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Frontiers in Energy 2018, Volume 12, Issue 3,   Pages 376-388 doi: 10.1007/s11708-018-0559-x

Abstract: This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building

Keywords： MRV     CBIT     UNFCCC     Indonesia     Japan     ICT based monitoring     climate policy    

HTML PDF Collect

Community dynamics of ammonia oxidizing bacteria in a full-scale wastewater treatment system with nitrification stability

Xiaohui WANG, Xianghua WEN, Hengjing YAN, Kun DING, Man HU

Frontiers of Environmental Science & Engineering 2011, Volume 5, Issue 1,   Pages 92-98 doi: 10.1007/s11783-010-0254-6

Abstract: To determine whether the functional stability of nitrification was correlated to a stable community structure of ammonia oxidizing bacteria (AOB) in a full-scale wastewater treatment plant, the AOB community dynamics in a wastewater treatment system was monitored over one year. The community dynamics were investigated using specific PCR followed by terminal restriction fragment length polymorphism (T-RFLP) analysis of the gene. The T-RFLP results indicated that during the period of nitrification stability, the AOB community structure in the full-scale wastewater treatment system was relatively stable, and the average change rate every 15 d of the system was 6.6%±5.8%. The phylogenetic analysis of the cloned gene showed clearly that the dominant AOB in the system was spp. The results of this study indicated that throughout the study period, the AOB community structure was relatively stable in the full-scale wastewater treatment system with functional stability of nitrification.

Keywords： ammonia-oxidizing bacteria (AOB)     community dynamics     terminal restriction fragment length polymorphism (T-RFLP)     nitrification performance    

HTML PDF Collect

The Theoretic Evaluation and Verification for the Necking Force of the Cone-shaped Concave Die

Hu Chengwu,Luo Wenbo,Peng Yanrong

Strategic Study of CAE 2005, Volume 7, Issue 6,   Pages 54-56

Abstract:

Necking force is the main failure factor to the unstabitily of the thin-wall cylindrical parts. In order to improve the calculation precision of the necking force , Сторожев and Унксов separately put forward two different calculation methods about the necking force of the thin-wall cylindrical parts which take into consideation the thickness changing, the hardening effect and the friction function. In this paper, the results of the two calculation methods are analyzed by example,and are compared with experimented data. The results of two calculation methods are close to each other, and tally with experimented data.

Keywords： necking force     theoretic evaluation     verification    

HTML PDF Collect

Protecting traditional knowledge of Chinese medicine: concepts and proposals

Changhua Liu, Man Gu

Frontiers of Medicine 2011, Volume 5, Issue 2,   Pages 212-218 doi: 10.1007/s11684-011-0142-x

Abstract: With the development of the knowledge economy, knowledge has become one of the most important resources for social progress and economic development. Some countries have proposed measures for the protection of their own traditional knowledge. Traditional Chinese medicine belongs to the category of intangible cultural heritage because it is an important part of Chinese cultural heritage. Today the value of traditional knowledge of Chinese medicine has been widely recognized by the domestic and international public. This paper discusses the definition of traditional knowledge of Chinese medicine and its protection, and evaluates research on its classification. We review the present status of the protection of traditional knowledge of Chinese medicine and tentatively put forward some possible ideas and methods for the protection of traditional knowledge of Chinese medicine. Our goal is to find a way to strengthen the vitality of traditional Chinese medicine and consolidate its foundation. We believe that if we could establish a suitable ( is a Latin term meaning “of its own kind” and is often used in discussions about protecting the rights of indigenous peoples. Here we use it to emphasize the fact that protection of traditional knowledge of Chinese medicine cannot be achieved through existing legal means of protection alone due to its unique characteristics) system for traditional knowledge, a more favorable environment for the preservation and development of traditional Chinese medicine will ultimately be created.

Keywords： protection of traditional knowledge     traditional Chinese medicine     intellectual property     sui generis system    

HTML PDF Collect

Anisotropy of multi-layered structure with sliding and bonded interlayer conditions

Lingyun YOU, Kezhen YAN, Jianhong MAN, Nengyuan LIU

Frontiers of Structural and Civil Engineering 2020, Volume 14, Issue 3,   Pages 632-645 doi: 10.1007/s11709-020-0617-4

Abstract: Moreover, following by the verification of the proposed analytical solution, one typical three-layered

Keywords： multi-layered structure     Hankel transformation     anisotropic     transversely isotropic     interlayer condition     Gauss-Legendre quadrature    

HTML PDF Collect

Title Author Date Type Operation

Man-machine verification of mouse trajectory based on the random forestmodel

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Journal Article

Hong: Interpretation of Global Engineering Frontier and Engineering Management Frontier - Research on Man-MachineTrust and Cooperation Mechanism in Man-Machine Collaborative Decision-Making (2021-12-14)

6 Jan 2022

Conference Videos

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Journal Article

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Journal Article

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Journal Article

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Journal Article

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Journal Article

Harmony Between Man and Nature Is the Need for Social Progress

Yuan Fei,Zhang Yuedong,Li Xiping

Journal Article

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

Journal Article

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

Journal Article

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Journal Article

Community dynamics of ammonia oxidizing bacteria in a full-scale wastewater treatment system with nitrification stability

Xiaohui WANG, Xianghua WEN, Hengjing YAN, Kun DING, Man HU

Journal Article

The Theoretic Evaluation and Verification for the Necking Force of the Cone-shaped Concave Die

Hu Chengwu,Luo Wenbo,Peng Yanrong

Journal Article

Protecting traditional knowledge of Chinese medicine: concepts and proposals

Changhua Liu, Man Gu

Journal Article

Anisotropy of multi-layered structure with sliding and bonded interlayer conditions

Lingyun YOU, Kezhen YAN, Jianhong MAN, Nengyuan LIU

Journal Article